Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
11	CMSC 336: Type Systems for Programming Languages Lecture 5: Simply Typed Lambda Calculus Acar & Ahmed January 24, 2008 Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-01-24 13:16:15
12	Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-08-13 12:55:46 Models of computation Type theory Formal methods Theory of computation Equivalence relation Monad Denotational semantics Parametricity Simply typed lambda calculus Modal logic Lambda calculus
13	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
14	Simply Typed Lambda-Calculus Modulo Type IsomorphismsI Alejandro D´ıaz-Caroa , Gilles Dowekb a Universidad Nacional de Quilmes Roque S´ aenz Pe˜ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-06-15 09:14:24
15	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
16	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:34 Functional programming Lambda calculus Type theory Data types Theoretical computer science Type system Continuation-passing style Simply typed lambda calculus C Sharp Software engineering Computing Computer programming
17	Godelisation in the untyped lambda calculus Torben . Mogensen DIKU, University of Copenhagen, Denmark email: Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:40 Mathematics Normalisation by evaluation Combinatory logic Simply typed lambda calculus Beta normal form Variance Lambda Sedenion Binary lambda calculus Lambda calculus Theoretical computer science Applied mathematics
18	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
19	Canonical Constituents and Non-canonical Coordination Simple Categorial Grammar Account Oleg Kiselyov Tohoku University, Japan Add to Reading List Source URL: okmij.org Language: English - Date: 2015-02-20 23:56:29 Logical syntax Deduction Proof theory Lambda calculus Categorial grammar Coordination Admissible rule Simply typed lambda calculus Entailment Logic Mathematical logic Propositional calculus
20	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science